TSTP Solution File: ITP114^1 by Nitpick---2016